<html>
<body>
Expand a wildcard pattern, or a binding pattern, to a Constructor Pattern.
</body>
</html>